The Spectrum of Prime Ideals in Tensor Triangulated Categories

We define the spectrum of a tensor triangulated category K as the set of so-called prime ideals, endowed with a suitable topology. In this very generality, the spectrum is the universal space in which one can define supports for objects of K. This construction is functorial with respect to all tensor triangulated functors. Several elementary properties of schemes hold for such spaces, e.g. the existence of generic points and some quasi-compactness. Locally trivial morphisms are proved to be nilpotent. We establish in complete generality a classification of thick ⊗-ideal subcategories in terms of arbitrary unions of closed subsets with quasi-compact complements (Thomason’s theorem for schemes, mutatis mutandis). Finally, we compute examples and show that our spectrum unifies both the underlying spaces of schemes in algebraic geometry and of support varieties in modular representation theory.